Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
621	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
622	Relational Markov Models and their Application to Adaptive Web Navigation Corin R. Anderson Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2002-10-08 04:13:20 Probability Statistical models Bayesian statistics Markov processes Markov chain Non-classical logic Bayesian network Probabilistic logic Relational model Statistics Markov models Probability and statistics
623	Microsoft Word - mevita.Jun2010.4page.docx Add to Reading List Source URL: www.math.helsinki.fi Language: English - Date: 2010-09-06 02:56:00 Philosophers of mathematics Non-classical logic Philosophical logic Quantification Model theory Finitary Jaakko Hintikka Infinitary logic John Lane Bell Logic Mathematical logic Mathematics
624	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2009-10-21 13:04:30 Predicate logic Non-classical logic Association for Symbolic Logic Workshop on Logic Language Information and Computation Modal logic Federated Logic Conference Informal logic Mereology Categorical logic Logic Mathematical logic Philosophical logic
625	Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed] Add to Reading List Source URL: isaim2008.unl.edu Language: English - Date: 2010-08-24 11:06:50 Modal logic Fuzzy logic Philosophical logic Non-classical logic Axiom BL Epistemic modal logic S Constructive set theory Logic Mathematical logic Mathematics
626	LOGICAL, SCIENTIFIC AND REAL POSSIBILITY 1. Real vs. abstract possibility Add to Reading List Source URL: www.fphil.uniba.sk Language: English - Date: 2008-12-12 15:34:57 Philosophical logic Possibility Non-classical logic Logical syntax Logical possibility Accessibility relation Possible world Proposition Entailment Logic Mathematical logic Modal logic
627	Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:12:09 Modal logic Philosophical logic Non-classical logic Logic in computer science Kripke semantics Intuitionistic logic General frame Natural deduction Interior algebra Logic Mathematical logic Mathematics
628	Negation and Negative Information in the W3C Resource Description Framework Anastasia Analyti1 , Grigoris Antoniou1,2 , Add to Reading List Source URL: www.ics.forth.gr Language: English - Date: 2011-05-10 07:25:11 Non-classical logic Reasoning Propositional calculus Stable model semantics Negation Closed world assumption Paraconsistent logic Non-monotonic logic Prolog Logic Mathematical logic Logic programming
629	The Reverse Logic of Resolving the Contradictions-pop 2 rzy Add to Reading List Source URL: studiahumana.com Language: English - Date: 2013-11-11 11:08:36 Mathematical logic Propositional calculus Logical consequence Non-classical logic Contradiction Truth Law of noncontradiction Principia Mathematica Entailment Logic Philosophy Philosophical logic
630	Gabbay Publications Chronological Publications List Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English Philosophical logic Model theory Modal logic Non-monotonic logic Kripke semantics Temporal logic Intermediate logic Proof theory First-order logic Logic Mathematical logic Non-classical logic

UPDATE